#include <stdio.h>
typedef int INT;
void main()
{
    printf("%d\n",sizeof(INT));
}